We investigate the formal theory of binary quantifiers, that is, quantifiers that take seriously the surface structure of natural language quantifier phrases. We show how to develop a natural deduction system for logics of this sort and demonstrate soundness and completeness results.

Delo filosofii -- ch. 1. Spory evropeĭskoĭ kulʹtury. Ėpicheskiĭ iskhod. Otkrytie soznanii︠a︡. Drevnegrecheskai︠a︡ tragedii︠a︡ i filosofii︠a︡. Afiny i Ierusalim. Novat︠s︡ii︠a︡ Kopernika i kopernikanskai︠a︡ revoli︠u︡t︠s︡ii︠a︡ -- ch. 2. XX vek: k ontologii spornosti. Sofii︠a︡ i chert. Kant pered lit︠s︡om russkoĭ religioznoĭ metafiziki. O vtorom izmerenii myshlenii︠a︡: L. Shestov i filosofii︠a︡. Na poli︠a︡kh "I︠A︡ i Ty".

Монография предназначена для специалистов в области социальной философии, социологии и истории, а также для широкого круга читателей.

Contributed papers presented at a seminar organized by Indian Institute of Advanced Study, Shimla and Dept. of Philosophy, Goa University.

The purpose of the present article is not an excursion into the history of philosophy. It is not a story of the adventures of Immanuel Kant on Russian soil, and even less does it pretend to expound systematically the perception of Kantian philosophy by Russian metaphysics. The author's interest is strictly philosophical. Russian religious thought, insofar as it has an appetite for philosophizing, consciously enters into the life of classical European philosophy, into that living communication of minds by which truth (...) is sustained, moved, and nourished among people and nations.2 A clarification of its personal relations with the central figures of this philosophical drama will help us to understand the strictly philosophical significance of Russian metaphysics more accurately than even sometimes the most dedicated description of it in itself succeeds in doing. (shrink)

t. 1. Vlastʹ kli︠u︡cheĭ -- t. 2. Na vesakh Iova.

Tom 1. Ontologii︠a︡, gnoseologii︠a︡ i metodologii︠a︡ nauki, logika -- t. 2. Sot︠s︡ialʹnai︠a︡ filosofii︠a︡ i filosofii︠a︡ politiki -- t. 3. Filosofskai︠a︡ antropologii︠a︡ i filosofii︠a︡ kulʹtury -- t. 4. Filosofii︠a︡ dukhovnosti, obrazovanii︠a︡, religii.

Purpose of the article is to reconstruct the legal sources of Christian anthropology. Theoretical basis. The methodological basis of the article is the understanding of the fundamental foundations of Christian anthropology in the context of Roman legal understanding. Originality. From the point of view of the Christian religion, man is a dual being: his body is part of the material world, but his soul is not from this world, he is born directly from God. The transcendent origin of the soul (...) gives it the right to communicate with God, but this right can be realized only with the help of the Church, which is seen as the "bride of the Lamb" and the mystical "body of Christ". Interpretations of the essence of church organization correlate with the principles of organization of the Roman community. The principle of universal priesthood correlates with the idea of "post-Tarquinian democracy", recognizing the people of Rome as the supreme bearer of the empire of Jupiter; catholicity – with the idea of the senate as a meeting of the most deserving leaders of the community; apostolic succession – with the institution of republican magistrates, who even though received their power from the community, but through "consultations with the gods". In essence, Christian dogmatism is Roman law applied to the Middle Eastern religion; the Bible was interpreted as a legal document, and theologians acted as lawyers. Conclusions. In the ancient Churches the ideal of Roman law was realized as the right of impersonal law, standing outside and above the individual. The latter has no ontological value, it is a "servant of God", but the union of men into the mystical "body of Christ" makes the latter empowered to represent God on earth and to act on his behalf. The Renaissance paved the way for the Reformation, in which a powerful "Greek" lobby declared itself. Despite the fact that many leaders of the Reformation had a personal dislike for philosophy, they were spontaneous philosophers, believing themselves entitled to interpret the will of God independently, regardless of the authority of the councils. They were strict rationalists who only changed the object of their reason: if the ancient Greeks tried to comprehend the world rationally, the Protestants set themselves the goal of rationally comprehending the Book. Ultimately, the main question of Christian theology is the question of man’s attitude to God, and the differences between the anthropological systems within Christianity are the options for answering this question. (shrink)

для научных работников, преподавателей, аспирантов, студентов юридических вузов и факультетов.

The study of the autonomic nervous system (ANS) function has shown to provide useful indicators for risk stratification and early detection on a variety of cardiovascular pathologies. However, data gathered during different tests of the ANS are difficult to analyse, mainly due to the complex mechanisms involved in the autonomic regulation of the cardiovascular system (CVS). Although model-based analysis of ANS data has been already proposed as a way to cope with this complexity, only a few models coupling the main (...) elements involved have been presented in the literature. In this paper, a new model of the CVS, representing the ventricles, the circulatory system and the regulation of the CVS activity by the ANS, is presented. The models of the vascular system and the ventricular activity have been developed using the Bond Graph formalism, as it proposes a unified representation for all energetic domains, facilitating the integration of mechanic and hydraulic phenomena. In order to take into account the electro-mechanical behaviour of both ventricles, an electrophysiologic model of the cardiac action potential, represented by a set of ordinary differential equations, has been integrated. The short-term ANS regulation of heart rate, cardiac contractility and peripheral vasoconstriction is represented by means of continuous transfer functions. These models, represented in different continuous formalisms, are coupled by using a multi-formalism simulation library. Results are presented for two different autonomic tests, namely the Tilt Test and the Valsalva Manoeuvre, by comparing real and simulated signals. (shrink)

Издание адресовано научным работникам, преподавателям, студентам и аспирантам, а также практикам, интересующимся вопросами истории философии, эстетики, религиоведения и смежными проблемами.

t. 1. Dialog s V. V. Davydovym -- t. 2. Nereshennye problemy razvivai︠u︡shchego obrazovanii︠a︡.